Nuprl Definition : es-interface-empty
11,40
postcript
pdf
es-interface-empty(
es
;
I
) ==
e
:E.
(
(
e
I
))
latex
clarification:
es-interface-empty(
es
;
I
) ==
e
:es-E(
es
).
(
(
e
I
))
latex
Definitions
x
:
A
.
B
(
x
)
,
E
,
A
,
b
,
e
X
FDL editor aliases
es-interface-empty
origin
e:E. 
(
(e 
I))
e:es-E(es). ((e I)) e:E. ((e I))
e:es-E(es). ((e I)) x:A. B(x)Ab X